Computer programming and formal systems
edited by P. Braffort and D. Hirschberg.
Amsterdam : North-Holland, 1963.
vi, 161 págs. ; 22 cm.
Serie: Studies in logic and the foundations of mathematics
"This book is a product of two seminars held in the IBM World Trade European Education Center of Blaricum (Holland) in 1961." —Preface.
Reseña: MathSciNet, 26 #3225